منابع مشابه
Subgroupoids and Quotient Theories
Moerdijk’s site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that if H is a subgroupoid of an open topological groupoid G , then the topos of equivariant sheaves on H is a subtopos of the topos of equivariant sheaves on G . This proposition is then applied to the study of quotient geometri...
متن کاملMust Preorder in Non-deterministic Untyped -calculus
This paper studies the interplay between functional application and nondeterministic choice in the context of untyped -calculus. We introduce an operational semantics which is based on the idea of must preorder, coming from the theory of process algebras. To characterize this relation, we build a model using the classical inverse limit construction, and we prove it fully abstract using a genera...
متن کاملThe Bergman-Shelah preorder on transformation semigroups
Zak Mesyan1,∗, James D. Mitchell2,∗∗, Michał Morayne3,∗∗∗, and Yann H. Péresse2,† 1 Department of Mathematics, University of Colorado, 1420 Austin Bluffs Parkway, Colorado Springs, CO 80918, United States of America 2 Mathematical Institute, University of St Andrews, North Haugh, St Andrews, Fife, KY16 9SS, Scotland 3 Institute of Mathematics and Computer Science, Wrocław University of Technolo...
متن کاملLanguage preorder as a precongruence
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulation equivalence. This article proposes additional syntactic requirements on the tyft format, extended with predicates, to obtain a precongruence format for language preorder.
متن کاملFuzzy preorder and fuzzy topology
This paper presents, by means of Alexandrov topology for fuzzy preordered sets and specialization order for fuzzy topological spaces, a systematic investigation of the interrelationship between fuzzy preordered sets, topological spaces, and fuzzy topological spaces. © 2006 Elsevier B.V. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.326.14